Skip to content

Debug and fix submodule updating workflow#27

Merged
donald-pinckney merged 3 commits intomainfrom
donald/dev-updating-main-2
Apr 2, 2026
Merged

Debug and fix submodule updating workflow#27
donald-pinckney merged 3 commits intomainfrom
donald/dev-updating-main-2

Conversation

@donald-pinckney
Copy link
Copy Markdown
Collaborator

Post-merge fixes of the submodule updating workflow

@donald-pinckney donald-pinckney requested a review from a team as a code owner April 1, 2026 16:56
@semgrep-managed-scans
Copy link
Copy Markdown

Semgrep found 1 missing-explicit-permissions finding:

No explicit GITHUB_TOKEN permissions found at the workflow or job level. Add a permissions: block at the workflow root (applies to all jobs) or per job with least privilege (e.g., contents: read and only specific writes like pull-requests: write if needed).

@donald-pinckney donald-pinckney merged commit 50d97c9 into main Apr 2, 2026
4 checks passed
@donald-pinckney donald-pinckney deleted the donald/dev-updating-main-2 branch April 2, 2026 17:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant